منابع مشابه
Generating Differential Invariants
The equivariant method of moving frames is used to specify systems of generating differential invariants for finite-dimensional Lie group actions.
متن کاملGenerating Relative and Absolute Invariants of Linear Differential Equations
A general expression for a relative invariant of a linear ordinary differential equations is given in terms of the fundamental semi-invariant and an absolute invariant. This result is used to established a number of properties of relative invariants, and it is explicitly shown how to generate fundamental sets of relative and absolute invariants of all orders for the general linear equation. Exp...
متن کاملOn Generating Relative and Absolute Invariants of Linear Differential Equations
A general expression for a relative invariant of a linear ordinary differential equations is given in terms of the fundamental semi-invariant and an absolute invariant. This result is used to established a number of properties of relative invariants, and it is explicitly shown how to generate fundamental sets of relative and absolute invariants of all orders for the general linear equation. Exp...
متن کاملGenerating Box Invariants
Box invariant sets are box-shaped positively invariant sets. We show that box invariants are computable for a large class of nonlinear and hybrid systems. The technique for computing these invariants is based on nonlinear constraint solving. This paper also shows that the class of multiaffine systems, which has been used successfully for modeling and analyzing regulatory and biochemical reactio...
متن کاملGenerating Program Invariants via Interpolation
This article focuses on automatically generating polynomial equations that are inductive loop invariants of computer programs. We propose a new algorithm for this task, which is based on polynomial interpolation. Though the proposed algorithm is not complete, it is efficient and can be applied to a broader range of problems compared to existing methods targeting similar problems. The efficiency...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 2007
ISSN: 0022-247X
DOI: 10.1016/j.jmaa.2006.12.029